You have chosen Rescher,N/Oppenheim,P, Arend Heyting and Arend Heyting.
All three must be different; choose another philosopher.